$\vdash$  (ff = tt) $\Leftarrow\!\Rightarrow$ False